Reo Rapa: A Polynesian Contact Language

A Specification Language for Reo Connectors

Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. Reo is a model of component coordination, wherein complex connectors are constructed by composing various types of primitive channels. Reo automata are a simple and intuitive formal model of contextdependent connectors, which provided a compositional semantics fo...

Language Contact: Peaceful Coexistence or Emergence of a Contact Language

This paper presents a simple model of linguistic priming between languages in contact, based on the utterance selection model (USM) for language change of Baxter et al. (2006). It will be shown that the emergence or the non-emergence of a new contact language depends on the way potentially bilingual agents choose a language to communicate.

Modeling Web Service Interactions Using the Coordination Language Reo

In this paper we propose an approach to derive the formal semantics of WS-BPEL processes compositionally using Reo and constraint automata. We map each WS-BPEL process into a Reo circuit and then construct the corresponding constraint automaton which shows the behavior of the process. The constraint automaton can be used for analyzing the process behavior. Our work covers the core part of the W...

Language Change and Language Contact

Deconstructing Reo

Coordination in Reo emerges from the composition of the behavioural constraints of the primitives, such as channels, in a component connector. Understanding and implementing Reo, however, has been challenging due to interaction of the channel metaphor, which is an inherently local notion, and the non-local nature of constraint propagation imposed by composition. In this paper, the channel metap...